Semantics of flowchart programs and the free Conway theories
نویسندگان
چکیده
منابع مشابه
Semantics on Flowchart Programs and the Free Conway Theories
Several useful identities involving the fixed point or itération opération are conséquences ofjust the Conway theory axioms. In this paper we give several characterizations of thefree Conway théories including a concrete description based on "aperiodîc" homomorphisms of flowehart schemes. It follows from this concrete description that the équations that hold in Conway théories are exactly the v...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملThe Alternating Semantics for Default Theories and Logic Programs
In this paper we propose a semantics for default theories, based on van Gelder's alternating xpoint theory. The distinct feature of this semantics is its preservation of Reiter's semantics when a default theory is not considered \problematic" under Reiter's semantics. Diierences arise only when a default theory has no extensions, or has only \biased extensions" under Reiter's semantics. This fe...
متن کاملSome Remarks on Conway and Iteration Theories
We present an axiomatization of Conway theories which yields, as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms. It has been shown that most fixed point operations in computer science share the same equational properties. These equational properties are captured by the notion of iteration theories [1, 3]. Several axiomat...
متن کاملfunctorial semantics of topological theories
following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 1998
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/1998321-300351